منابع مشابه
Recursive Unary Algebras and Trees
Khoussainov, B. Recursive “nary algebras and trees, Annals of Pure and Applied Logic 67 (1994) 213-268. A unary algebra is an algebraic system d = (A,f,, ,L). wheref,, . ,fm are unary operations on A and n EW. In the paper we develop the theory ofeffective “nary algebras. We investigate well-known questions of constructive (recursive) model theory with respect to the class of unary algebras. In...
متن کاملUnary Primitive Recursive Functions
In this article, we will study certain reductions in the schemes that conform unary primitive recursive functions (i.e. primitive recursive functions of one argument) and we will extend some results previously researched by R. M. Robinson in [15]. Furthermore, we will introduce formal notation for unary primitive recursive functions. §
متن کاملUnary polynomials in algebras, I
The unary algebraic functions of an algebra already determine the congruences. Therefore , investigations of algebras with some prescribed propert ies of congruences can be divided into two major steps. First, one characterizes the monoid of unary algebraic functions of the algebra. Secondly, one tries to build up the algebra, knowing its unary algebraic functions. Of course we may only aim at ...
متن کاملBranches in random recursive k-ary trees
In this paper, using generalized {polya} urn models we find the expected value of the size of a branch in recursive $k$-ary trees. We also find the expectation of the number of nodes of a given outdegree in a branch of such trees.
متن کاملJónsson posets and unary Jónsson algebras
We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than |P |, and κ is a cardinal number strictly less than |P |, then P has a principal order ideal of cardinality at least κ. We apply this result to characterize the possible sizes of unary Jónsson algebras.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1994
ISSN: 0168-0072
DOI: 10.1016/0168-0072(94)90012-4